\relax 
\citation{sommerville08}
\citation{Stellman2005}
\citation{Babamir2010}
\citation{AgarwalLS09}
\citation{CholletL09}
\citation{GutierrezRF10}
\citation{XiaoCZBOLH08}
\citation{JeongCL09}
\citation{Tsadimas:2012}
\citation{Mairiza:2010}
\citation{Mairiza:2010}
\citation{RosaC04}
\citation{MylopoulosBook99}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}State of the Art}{26}{chapter.2}}
\newlabel{chap:state_art}{{2}{26}{State of the Art\relax }{chapter.2}{}}
\citation{Kitchenham08}
\citation{Kitchenham08}
\citation{UML}
\citation{miller}
\citation{watson}
\citation{miller}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Background}{28}{section.2.1}}
\newlabel{sec:background}{{2.1}{28}{State of the Art\relax }{section.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}Model-Driven Development}{28}{subsection.2.1.1}}
\@writefile{toc}{\contentsline {paragraph}{Computational Independent Model:}{28}{section*.4}}
\citation{2}
\citation{Rosen08}
\citation{somf}
\citation{soap}
\citation{wsdl}
\citation{uddi}
\citation{Liu04}
\citation{bpel}
\citation{bpmn}
\citation{bpm}
\@writefile{toc}{\contentsline {paragraph}{Platform Independent Model:}{29}{section*.4}}
\@writefile{toc}{\contentsline {paragraph}{Computational Specific Model:}{29}{section*.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.2}Service-Oriented Applications}{29}{subsection.2.1.2}}
\citation{SBS04}
\citation{MylopoulosBook99}
\citation{MylopoulosCN92}
\citation{MylopoulosCN92}
\citation{Chung91}
\citation{Chung2009}
\citation{Derks:2001}
\citation{bpmn}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.3}Non-Functional Requirements}{30}{subsection.2.1.3}}
\citation{Meyer92}
\citation{MeyerN93}
\citation{Meyer97}
\citation{Meyer92}
\citation{Meyer97}
\citation{Meyer92}
\citation{Meyer92}
\citation{MeyerN93}
\citation{Meyer97}
\citation{Meyer92}
\citation{Meyer97}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.4}Design by Contract}{31}{subsection.2.1.4}}
\citation{Adiba:1981}
\citation{MartinAD92}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Non-Functional Requirements for Service-Based Applications}{32}{section.2.2}}
\newlabel{sec:nfrs}{{2.2}{32}{State of the Art\relax }{section.2.2}{}}
\citation{UszokBJ04}
\citation{Yu97}
\citation{bpmn}
\citation{Babamir2010}
\citation{XiaoCZBOLH08}
\citation{DAmbrogio06}
\citation{Yeom2006}
\citation{Yeom2006}
\citation{CholletL09}
\citation{CholletL09}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}Concepts and Works}{34}{subsection.2.2.1}}
\newlabel{subsec:nfr_concepts}{{2.2.1}{34}{State of the Art\relax }{subsection.2.2.1}{}}
\citation{SchmelingCM11}
\citation{SchmelingCM11}
\citation{SchmelingCM11}
\citation{CeriDMF07}
\citation{AgarwalLS09}
\citation{OvaskaEHPA10}
\citation{PastranaPK11}
\citation{ZhangPSP05}
\citation{BasinDL06}
\citation{JeongCL09}
\citation{Fabra2011}
\citation{MohantyRP10}
\citation{GutierrezRF10}
\citation{DiamadopoulouMPS08}
\citation{ModicaTV09}
\citation{ThissenW06}
\citation{BasinDL06}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}Analysis}{35}{subsection.2.2.2}}
\newlabel{sec:proposal}{{2.2.2}{35}{State of the Art\relax }{subsection.2.2.2}{}}
\citation{DAmbrogio06}
\citation{CholletL09}
\citation{SchmelingCM11}
\citation{BasinDL06}
\citation{Fabra2011}
\citation{OvaskaEHPA10}
\citation{Fabra2011}
\citation{Fabra2011}
\citation{ThissenW06}
\citation{ZhangPSP05}
\citation{AgarwalLS09}
\citation{PastranaPK11}
\citation{XiaoCZBOLH08}
\citation{GutierrezRF10}
\citation{Babamir2010}
\citation{Yeom2006}
\citation{XiaoCZBOLH08}
\citation{DAmbrogio06}
\citation{CholletL09}
\citation{SchmelingCM11}
\citation{SchmelingCM11}
\citation{ThissenW06}
\citation{ThissenW06}
\citation{Babamir2010}
\citation{Yeom2006}
\citation{XiaoCZBOLH08}
\citation{DAmbrogio06}
\citation{CholletL09}
\citation{SchmelingCM11}
\citation{ThissenW06}
\citation{ZhangPSP05}
\citation{BasinDL06}
\citation{CeriDMF07}
\citation{Fabra2011}
\citation{ModicaTV09}
\citation{OvaskaEHPA10}
\citation{AgarwalLS09}
\citation{JeongCL09}
\citation{PastranaPK11}
\citation{DiamadopoulouMPS08}
\citation{GutierrezRF10}
\citation{MohantyRP10}
\citation{Babamir2010}
\citation{Yeom2006}
\citation{XiaoCZBOLH08}
\citation{DAmbrogio06}
\citation{CholletL09}
\citation{SchmelingCM11}
\citation{ThissenW06}
\citation{ZhangPSP05}
\citation{BasinDL06}
\citation{CeriDMF07}
\citation{Fabra2011}
\citation{ModicaTV09}
\citation{OvaskaEHPA10}
\citation{AgarwalLS09}
\citation{JeongCL09}
\citation{PastranaPK11}
\citation{DiamadopoulouMPS08}
\citation{GutierrezRF10}
\citation{MohantyRP10}
\citation{ieee_1998}
\citation{CysneirosLN01}
\citation{Cleland-HuangSZS06}
\citation{Glinz05rethinkingthe}
\citation{sommerville08}
\citation{sommerville08}
\citation{ieee_1998}
\citation{ieee_1998}
\citation{ieee_1998}
\citation{CysneirosLN01}
\citation{PastranaPK11}
\citation{sommerville08}
\citation{sommerville08}
\citation{ieee_1998}
\citation{ieee_1998}
\citation{sommerville08}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Research question results - $RQ_1$, $RQ_2$, $RQ_3$, $RQ_4$.\relax }}{38}{table.caption.5}}
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{tab:result02}{{1}{38}{Research question results - $RQ_1$, $RQ_2$, $RQ_3$, $RQ_4$.\relax \relax }{table.caption.5}{}}
\citation{PapazoglouH06}
\citation{Papazoglou03}
\citation{Milanovic2006}
\citation{MilanovicM06}
\citation{FeuerlichtM05}
\citation{Ramollari_asurvey}
\citation{somet2005}
\citation{HL05TACoS}
\citation{LeavensCCRC02}
\citation{LeavensCCRC02}
\citation{Milanovic2006}
\citation{MilanovicM05}
\citation{Milanovic05}
\citation{Milanovic06}
\citation{MilanovicM06}
\citation{AbrialLNSS91}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Research question results - $RQ_5$, $RQ_6$, $RQ_7$.\relax }}{39}{table.caption.6}}
\newlabel{tab:result03}{{2}{39}{Research question results - $RQ_5$, $RQ_6$, $RQ_7$.\relax \relax }{table.caption.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Methodologies for Service Oriented Development}{40}{section.2.3}}
\newlabel{sec:metodologies}{{2.3}{40}{State of the Art\relax }{section.2.3}{}}
\citation{bpel03}
\citation{MPC08}
\citation{wscl02}
\citation{Martin04}
\citation{SBS04}
\citation{lipari2007}
\citation{BianculliGSBG07}
\citation{AalstHKB03}
\citation{MuP06}
\citation{BHM06}
\citation{SBS04}
\citation{VA05}
\citation{HamadiB03}
\citation{AlH01}
\citation{GGP08}
\citation{burdy:05}
\citation{AalstHKB03}
\citation{Aal03}
\citation{choreoWG}
\citation{MendesPDB09}
\citation{MPC08}
\citation{bpel03}
\citation{PiresBM02}
\citation{ABM01}
\citation{SBS04}
\citation{valeriaThesis}
\citation{somf}
\citation{scube2010book}
\citation{soma}
\citation{PapazoglouH06}
\citation{rup}
\citation{bpm}
\citation{DEVISE}
\citation{TongrungrojanaL04}
\citation{sommerville08}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}Concepts and Works}{41}{subsection.2.3.1}}
\newlabel{subsec:methodology_concepts}{{2.3.1}{41}{State of the Art\relax }{subsection.2.3.1}{}}
\citation{CastroMV11}
\citation{miller}
\citation{Gordijn02valuebased}
\citation{atl_manual}
\citation{scube2010book}
\citation{DEVISE}
\citation{DEVISE}
\citation{soma}
\citation{somf}
\citation{somf}
\citation{PapazoglouH06}
\citation{PapazoglouH06}
\citation{sommerville08}
\citation{valeriaThesis}
\citation{scube2010book}
\citation{soma}
\citation{somf}
\citation{DEVISE}
\citation{PapazoglouH06}
\citation{sommerville08}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}Analysis}{45}{subsection.2.3.2}}
\newlabel{sec:methodology_analisys}{{2.3.2}{45}{State of the Art\relax }{subsection.2.3.2}{}}
\newlabel{RF1}{46}
\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Methodologies' Analysis.\relax }}{46}{table.caption.7}}
\newlabel{tab:method_analysis}{{3}{46}{Methodologies' Analysis.\relax \relax }{table.caption.7}{}}
\citation{SchmelingCM11}
\citation{Yeom2006}
\citation{Yeom2006}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}Classification of Non-Functional Requirements for Service-Based Applications}{48}{section.2.4}}
\newlabel{sec:classification}{{2.4}{48}{State of the Art\relax }{section.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}NFR Meta-Model}{48}{subsection.2.4.1}}
\newlabel{sec:nfr-metamodel}{{2.4.1}{48}{State of the Art\relax }{subsection.2.4.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Service-Based Non-Functional Requirement Model.\relax }}{49}{figure.caption.8}}
\newlabel{fig:NRFmodel}{{1}{49}{Service-Based Non-Functional Requirement Model.\relax \relax }{figure.caption.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}NFR Classification}{49}{subsection.2.4.2}}
\newlabel{sec:nfr-classification}{{2.4.2}{49}{State of the Art\relax }{subsection.2.4.2}{}}
\@writefile{lot}{\contentsline {table}{\numberline {4}{\ignorespaces Non-Functional Requirements Classification.\relax }}{50}{table.caption.9}}
\newlabel{tab:result04}{{4}{50}{Non-Functional Requirements Classification.\relax \relax }{table.caption.9}{}}
\citation{Adiba:1981}
\citation{Greene2005}
\citation{Adiba:1981}
\citation{Adiba:1981}
\citation{Yeom2006}
\citation{Greene2005}
\citation{MylopoulosBook99}
\citation{Greene2005}
\citation{Greene2005}
\citation{Greene2005}
\citation{Greene2005}
\citation{MylopoulosBook99}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Relationship of the NFR Concepts.\relax }}{53}{figure.caption.10}}
\newlabel{fig:nfr-relationship}{{2}{53}{Relationship of the NFR Concepts.\relax \relax }{figure.caption.10}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Conclusions}{53}{section.2.5}}
\newlabel{sec:stateofart_conclusion}{{2.5}{53}{State of the Art\relax }{section.2.5}{}}
\@setckpt{chapters/state_ofthe_art/state_art}{
\setcounter{page}{56}
\setcounter{equation}{0}
\setcounter{enumi}{2}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{7}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{2}
\setcounter{section}{5}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{2}
\setcounter{table}{4}
\setcounter{endNonectr}{23}
\setcounter{currNonectr}{0}
\setcounter{currexamplctr}{0}
\setcounter{endexamplctr}{0}
\setcounter{exampl}{0}
\setcounter{r@tfl@t}{1}
\setcounter{lstnumber}{1}
\setcounter{ContinuedFloat}{0}
\setcounter{parentequation}{0}
\setcounter{KVtest}{0}
\setcounter{subfigure}{0}
\setcounter{subfigure@save}{0}
\setcounter{lofdepth}{1}
\setcounter{subtable}{0}
\setcounter{subtable@save}{0}
\setcounter{lotdepth}{1}
\setcounter{Item}{6}
\setcounter{Hfootnote}{10}
\setcounter{bookmark@seq@number}{28}
\setcounter{regraA}{1}
\setcounter{regraB}{1}
\setcounter{lstlisting}{0}
\setcounter{section@level}{0}
}
